Basic research

Results: 2119



#Item
571

BRICS Basic Research in Computer Science BRICS RSAndersen & Larsen: Compositional Safety Logics Compositional Safety Logics

Add to Reading List

Source URL: www.brics.dk

Language: English - Date: 1997-08-20 08:29:38
    572

    Lockdown of a Basic Pool Zach Miller Condor Project Computer Sciences Department University of Wisconsin-Madison

    Add to Reading List

    Source URL: research.cs.wisc.edu

    Language: English - Date: 2012-11-01 12:05:27
      573

      BRICS Basic Research in Computer Science BRICS DS-00-5 R. B. Lyngsø: Computational Biology

      Add to Reading List

      Source URL: www.brics.dk

      Language: English - Date: 2001-09-13 08:31:50
        574

        BRICS RS-05-5 Biernacki et al.: A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations BRICS Basic Research in Computer Science

        Add to Reading List

        Source URL: www.brics.dk

        Language: English - Date: 2005-05-26 17:37:16
          575

          BRICS Basic Research in Computer Science BRICS RSB. Jeannet: Dynamic Partitioning in Linear Relation Analysis Dynamic Partitioning in

          Add to Reading List

          Source URL: www.brics.dk

          Language: English - Date: 2001-03-06 04:05:26
            576

            BRICS RSAger et al.: Fast Partial Evaluation of Pattern Matching in Strings BRICS Basic Research in Computer Science

            Add to Reading List

            Source URL: www.brics.dk

            Language: English - Date: 2005-02-23 18:55:39
              577

              BRICS Basic Research in Computer Science BRICS RSU. Kohlenbach: Proof Theory and Computational Analysis Proof Theory and Computational Analysis

              Add to Reading List

              Source URL: www.brics.dk

              Language: English - Date: 1997-12-01 08:32:19
                578

                BRICS Basic Research in Computer Science BRICS RS-04-3 Ager et al.: Call-by-Need Evaluators and Lazy Abstract Machines

                Add to Reading List

                Source URL: www.brics.dk

                Language: English - Date: 2004-02-19 06:14:18
                  579

                  BRICS NS-05-6 Castagna & Raghavachari (eds.): PLAN-X 2006 Informal Proceedings BRICS Basic Research in Computer Science

                  Add to Reading List

                  Source URL: www.brics.dk

                  Language: English - Date: 2005-12-22 18:22:05
                    580

                    BRICS Basic Research in Computer Science BRICS RSFiore et al.: Weak Bisimulation and Open Maps Weak Bisimulation and Open Maps

                    Add to Reading List

                    Source URL: www.brics.dk

                    Language: English - Date: 1999-11-10 06:24:45
                      UPDATE